- для корректности
- for assuring correctness
Русско-английский словарь по прикладной механике. 2014.
для корректности
Look at other dictionaries:
СМЕШАННАЯ И КРАЕВАЯ ЗАДАЧИ ДЛЯ ГИПЕРБОЛИЧЕСКИХ УРАВНЕНИЙ И СИСТЕМ — задачи отыскания решений уравнений и систем с частными производными гиперболич. типа, удовлетворяющих на границе области их задания (или ее части) определенным условиям (см. Краевые условия, Начальные условия). Краевая задача для гиперболич.… … Математическая энциклопедия
Контрактное программирование — (design by contract (DbC), programming by contract, contract based programming) это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации… … Википедия
неизменные цены — условно постоянные цены, привязанные к ценам определённого периода, года; в статистике применяются для корректности сопоставлений одинаковых показателей, исчисляемых для разных периодов времени (например, ВВП, ВНП, национальный доход, объём… … Энциклопедический словарь
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ВЕРОЯТНОСТЕЙ ТЕОРИЯ — раздел математики, в к ром строят и изучают матем. модели случайных явлении. Случайность присуща в той или иной степени подавляющему большинству протекающих в природе процессов. Обычно она присутствует там, где существ. влияние на ход процесса… … Физическая энциклопедия
Матрица (математика) — У этого термина существуют и другие значения, см. Матрица. Матрица математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля (например, целых, действительных или комплексных чисел), которая представляет… … Википедия
Что? Где? Когда? — Эта статья о телевизионной игре. О турнирах и о спортивной версии игры см. Что? Где? Когда? (спортивная версия). Запрос «ЧГК» перенаправляется сюда; см. также другие значения. Что? Где? Когда? … Википедия
Р-29РМ — индекс УРАВ ВМФ 3М37 код СНВ РСМ 54 код МО США и НАТО SS N 23, Skiff Разгрузка ракеты Р 29РМ Тип Баллистическая ракета подводных лодок … Википедия
Точнорешаемая задача — В настоящее время отсутствует единое определение точно решаемой задачи для всех разделов математики. Это обусловлено особенностями самих задач и методов поиска их решения. Вместе с тем базовые теоремы, определяющие наличие и единственность… … Википедия
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
Стилостатистический метод анализа текста — – это применение инструментария математической статистики в области стилистики для определения типов функционирования языка в речи, закономерностей функционирования языка в разных сферах общения, типах текстов, специфики функц. стилей и… … Стилистический энциклопедический словарь русского языка
